From Security to Safety and Back

نویسندگان

  • Victoria Stavridou
  • Bruno Dutertre
چکیده

Dependability encompasses diierent classes of system properties, related to security, reliability, or safety. This paper examines the relevance of the security concept of noninterference to safety-related properties, and conversely the applicability of fault-tolerance mechanisms usually applied to provide safety and reliability in the security domain.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Explaining and Evaluating the Effective Factors in Improving the Quality of Children’s Playgrounds in Cities with an Emphasis on Safety and Security Aspects of Children from Parents’ Viewpoint; Case study: Koodak Park of Isfahan

Abstract Childhood games are essential for the development of cognitive, psychological, and physical skills. Playgrounds are spaces that provide the required opportunity to develop the fundamental skills and needs of children, such as connections with nature, games, activities, and so forth. Therefore, the presence of children in these areas requires the provision of a safe and secure environm...

متن کامل

Study of Nurses' Experiences of Safety Challenges of Social Security Hospital Patients

Background and Objectives: Safety in the health service system of all countries around the world means observing the principles that, if applied correctly, will not harm the patient or will minimize possible injuries. The concept of patient safety is a very essential component of health care systems, therefore, this study was conducted to explain the experiences of nurses of patient safety chal...

متن کامل

Airport Security Versus Patient Security: The “Sickurity” Problem

The massive restrain security measurements at the airports very much impress the health status of the healthy and sick passengers alike. The security check is undisputedly a harassment – the confiscation of fluids, the limited movement on the airplane results in a stressful situation and put a harmful effect on healthy traveler and an even more harmful one on the sick. This kind of problem coul...

متن کامل

Formal approach on modeling and predicting of software system security: Stochastic petri net

To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...

متن کامل

Comparison of pedestrian safety in old and new neighborhoods (A case study of Qazvin)

Sense of security is one of the basic human needs and the most influential social components of urban life. Perhaps it can be the most important factor in promoting or hindering walking in cities. In other words, if the neighborhoods of a city have a good level of security, the presents of pedestrians can be seen in local streets even in the late night hours. In this regard and to the answer to...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998